M.sframe(k sends <l,tg>) == L != (M.2.2.2.2.2.2.2).1(<l, tg>)  deq-member(KindDeq;k;L) 

latex

---

clarification:

M.sframe(k sends <l,tg>)
== fpf-val(product-deq(IdLnk;Id;IdLnkDeq;IdDeq);
== fpf-val(((M.2.2.2.2.2.2.2).1);
== fpf-val(<l, tg>;
== fpf-val(x,L.(deq-member(KindDeq;k;L))) 

latex

Definitions	M.sframe(k sends <l,tg>), z != f(x)  P(a;z), product-deq(A;B;a;b), IdLnk, Id, IdLnkDeq, IdDeq, t.1, t.2, b, deq-member(eq;x;L), KindDeq
FDL editor aliases	ma-sframe